Essential Logic for Computer Science - Rex , University of Oklahoma) Page, Ruben Gamboa